#include <stdio.h>

int main(void) {
   int birthMonth;
   int birthYear;

   scanf("%d", &birthMonth);
   scanf("%d", &birthYear);
   
   fprintf(stdout, "%d/%d\n", birthMonth, birthYear);

   return 0;
}